Specification-based Test Generation with TGV
نویسنده
چکیده
TGV (Test Generation with Verification technology) is a tool, integrated into the toolset CADP, for the generation of test cases based on a system’s specification and a test purpose. In this report we discuss the integration of μCRL and TGV into the process of test generation. We also work out the ioco theory and its relation to TGV. Furthermore, we do not only discuss the theoretical aspects of the tool itself, but also its practical usage. 1998 ACM Computing Classification System: D.2.1; D.2.5
منابع مشابه
Executing Abstract Test Cases
Generally, test cases derived from a formal model can not be directly fed into implementations under test (IUT), because model based test generation techniques produce abstract test cases. In order to run an abstract test case against an IUT the abstract test case either has to be transformed to a concrete test case or an execution of the abstract test case is needed. In this paper we propose a...
متن کاملExecuting Abstract Test Cases * 1i Ntroduction
Generally, test cases derived from a formal model can not be directly fed into implementations under test (IUT), because model based test generation techniques produce abstract test cases. In order to run an abstract test case against an IUT the abstract test case either has to be transformed to a concrete test case or an execution of the abstract test case is needed. In this paper we propose a...
متن کاملTGV: theory, principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems
This paper presents the TGV tool allowing the automatic synthesis of conformance test cases from a formal specification of a (non-deterministic) reactive system. TGV has been developed by Irisa Rennes and Verimag Grenoble, with the support of the Vasy team of Inria Rhônes-Alpes. The paper describes the main elements of the underlying testing theory, based on a model of transitions system which ...
متن کاملAn Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology
In this report we describe an experiment in automatic generation of test suites for protocol testing. We report the results gained with generation of test suites based on advanced veriication techniques applied to a real industrial protocol. In this experiment, several tools have been used : the commercial tool GEODE (VERILOG) was used for the generation of nite state graph models from SDL spec...
متن کاملAn Experiment in Automatic Generation of Test Suites for Protocols with Veriication Technology
In this paper we describe an experiment in automatic generation of test suites for protocol testing. We report the results gained with generation of test suites based on advanced veriication techniques applied to a real industrial protocol. In this experiment, several tools have been used : the commercial tool GEODE (VERILOG) was used for the generation of nite state graph models from SDL speci...
متن کامل